We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

Aristotle’s typical procedure is to identify something's four causes. Intentional action has typically been treated as an exception: most think that Aristotle has the standard causalist account, according to which an intentional action is a bodily movement efficiently caused by an attitude of the appropriate sort. I show that action is not an exception to Aristotle’s typical procedure: he has the resources to specify four causes of action, and thus to articulate a powerful theory of action unlike any other on (...) offer. (shrink)

This volume aimed to highlight narrative identities of European cities or city neighbourhoods that have been overlooked, such as mid-sized cities. These cities are neither small towns nor metropolises, cities that are now unveiling their appeal or specificity. The present special issue thus covers a range of representations of cities. The articles investigate more systematically how different texts deal with various cities from different experiential and fictional perspectives. The issue covers the geographical scope across Europe, from east to west or (...) vice versa, as well as a range of different works of national literature(s), but with a clear emphasis on mid-sized European cities that have until now been deemed as lesser-known, secondary, peripheral, ‘other’ cities that are in the focus of the research of the COST project Writing Urban Places. New Narratives of the European City, within which this journal issue is being published. (shrink)

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of ar-tificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understand-ing of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

Techniques from behavioral economics—nudges—may help physicians increase pediatric vaccine compliance, but critics have objected that nudges can undermine autonomy. Since autonomy is a centrally important value in healthcare decision-making contexts, it counts against pediatric vaccination nudges if they undermine parental autonomy. Advocates for healthcare nudges have resisted the charge that nudges undermine autonomy, and the recent bioethics literature illustrates the current intractability of this debate. This article rejects a principle to which parties on both sides of this debate sometimes seem (...) committed: that nudges are morally permissible only if they are consistent with autonomy. Instead, I argue that, at least in the case of pediatric vaccination, some autonomy-undermining nudges may be morally justified. This is because parental autonomy in pediatric decision-making is not as morally valuable as the autonomy of adult patients, and because the interests of both the vaccinated child and other members of the community can sometimes be weighty enough to justify autonomy-infringing pediatric vaccination nudges. This article concludes with a set of worries about the effect of pediatric vaccination nudges on parent-physician relationships, and it calls on the American Academy of Pediatrics to draw on scientific and bioethics research to develop guidelines for the use of nudges in pediatric practice and, in particular, for the use of pediatric vaccination nudges. (shrink)

In the first section, I characterize skeptical theism more fully. This is necessary in order to address some important misconceptions and mischaracterizations that appear in the essays by Maitzen, Wilks, and O’Connor. In the second section, I describe the most important objections they raise and group them into four “families” so as to facilitate an orderly series of responses. In the four sections that follow, I respond to the objections.

This response addresses the excellent responses to my book provided by Heather Douglas, Janet Kourany, and Matt Brown. First, I provide some comments and clarifications concerning a few of the highlights from their essays. Second, in response to the worries of my critics, I provide more detail than I was able to provide in my book regarding my three conditions for incorporating values in science. Third, I identify some of the most promising avenues for further research that flow out of (...) this interchange. (shrink)

The theory that all processes in the universe are computational is attractive in its promise to provide an understandable theory of everything. I want to suggest here that this pancomputationalism is not sufficiently clear on which problem it is trying to solve, and how. I propose two interpretations of pancomputationalism as a theory: I) the world is a computer and II) the world can be described as a computer. The first implies a thesis of supervenience of the physical over computation (...) and is thus reduced ad absurdum. The second is underdetermined by the world, and thus equally unsuccessful as theory. Finally, I suggest that pancomputationalism as metaphor can be useful. – At the Paderborn workshop in 2008, this paper was presented as a commentary to the relevant paper by Gordana Dodig-Crnkovic " Info-Computationalism and Philosophical Aspects of Research in Information Sciences". (shrink)

Current challenges in medical practice, research, and administration demand physicians who are familiar with bioethics, health law, and health economics. Curriculum directors at American Association of Medical Colleges-affiliated medical schools were sent confidential surveys requesting the number of required hours of the above subjects and the years in which they were taught, as well as instructor names. The number of relevant publications since 1990 for each named instructor was assessed by a PubMed search.In sum, teaching in all three subjects combined (...) comprises less than two percent of the total hours in the American medical curriculum, and most instructors have not recently published articles in the fields they teach. This suggests that medical schools should reevaluate their curricula and instructors in bioethics, health law, and health economics. (shrink)

Classically, gratitude is a tri-polar construal, logically ordering a benefactor, a benefice, and a beneficiary in a favour-giving-receiving situation. Grammatically, the poles are distinguished and bound together by the prepositions ”to’ and ”for’; so I call this classic concept ”to-for’ gratitude. Classic religious gratitude follows this schema, with God as the benefactor. Such gratitude, when felt, is a religious experience, and a reliable readiness or ”habit’ of such construal is a religious virtue. However, atheists have sometimes felt an urge or (...) need for an analogous experience and virtue of gratitude, and theists sometimes feel intellectual discomfort with classical theistic gratitude on consideration of the misfortunes that characterize our life along with its blessings. In response, another conception of religious gratitude has been attempted, a construal that lacks the to-for structure. This paper probes the significance of the benefactor for gratitude, both secular and religious, and, with Søren Kierkegaard’s help, some features of the theology of classical religious gratitude that dissolve the problem of misfortunes. (shrink)

We consider an ethical dilemma in global health: is it ethically acceptable to provide some patients cheaper treatments that are less effective or more toxic than the treatments other patients receive? We argue that it is ethical to consider local resource constraints when deciding what interventions to provide. The provision of cheaper, less effective health care is frequently the most effective way of promoting health and realizing the ethical values of utility, equality, and priority to the worst off.

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

There is an old worry, which dates back to Mill but has analogs even in Sextus, that the very definition of ‘validity’ implies that all valid arguments are circular. This paper investigates how contemporary formal tools can ellucidate that old worry. Its main finding is the existence of a genuine puzzle: a difficult-to-avoid correspondence between the definitions of ‘valid argument’ and ‘premise circular argument’.

In two recent papers, Michael Della Rocca accuses Descartes of reasoning circularly in the Fourth Meditation. This alleged new circle is distinct from, and more vicious than, the traditional Cartesian Circle arising in the Third Meditation. We explain Della Rocca’s reasons for this accusation, showing that his argument is invalid.

In this commentary, I critique three aspects of Emily Walsh's proposal to reduce the moral and legal weight of advance directives: (1) the ambiguity of its initial thesis, (2) its views about the ethics and legality of clinical practice, and (3) its interpretation and application of Ronald Dworkin’s account of advance directives and L.A. Paul's view on transformative experience. I also consider what Walsh’s proposal would mean for people facing the prospect of dementia. I conclude that our reasons to honor (...) many advance directives survive the move to a transformative experience framework. (shrink)

Cognition is commonly taken to be computational manipulation of representations. These representations are assumed to be digital, but it is not usually specified what that means and what relevance it has for the theory. I propose a specification for being a digital state in a digital system, especially a digital computational system. The specification shows that identification of digital states requires functional directedness, either for someone or for the system of which it is a part. In the case or digital (...) representations, to be a token of a representational type, where the function of the type is to represent. [An earlier version of this paper was discussed in the web-conference "Interdisciplines" https://web.archive.org/web/20100221125700/http://www.interdisciplines.org/adaptation/papers/7 ]. (shrink)

Many advocate practices of ‘local food’ or ‘locavorism’ as a partial solution to the injustices and unsustainability of contemporary food systems. I think that there is much to be said in favor of local food movements, but these virtues are insufficient to immunize locavorism from criticism. In particular, three duties of international ethics—beneficence, repair and fairness—may provide reasons for constraining the developed world’s permissible pursuit of local food. A complete account of why (and how) the fulfillment of these duties constrains (...) locavorism will require extensive empirical evidence about the relationship between agricultural demand-led industrialization, international trade (rules), and local food practices. In this paper I can only gesture at some of this evidence and, for that reason, my policy prescriptions are merely provisional. Instead, the upshot of this paper is that advocates of locavorism ought to be attentive to the empirical-dependence of the moral permissibility of their projects. As local food ‘scales up’—and comes to be embraced as a goal of political communities—these concerns should receive even greater attention. (shrink)

This article explores the meeting of two approaches towards philosophy and education: the philosophy for children approach advocated by Lipman and others, and Schmid’s philosophical concept of Lebenskunst. Schmid explores the concept of the beautiful or good life by asking what is necessary for each individual to be able to develop their own art of living and which aspects of life are significant when shaping a good and beautiful life. One element of Schmid’s theory is the practical application of philosophy (...) through the notions of Bildung, reflection, prudence and practical wisdom, as well as the requirement for each individual to take responsibility for actively shaping their life as an artwork. In this sense, each person is the artist responsible for living their own beautiful life. We argue that there are useful parallels between Schmid’s concept of the art of living and P4C, such as the ideal of a holistic philosophy that is “lived.” The pragmatic approach of P4C focuses on the embodied learner who practices critical, caring and creative thinking. Both P4C and Schmid’s theory are reminiscent of the Aristotelian notion of practical wisdom, which allows for an approach to an education for life that prepares students to develop their own art of living. (shrink)

This paper offers an overview of the prospects and ethics of using AI to achieve human enhancement, and more broadly what we call intellectual augmentation (IA). After explaining the central notions of human enhancement, IA, and AI, we discuss the state of the art in terms of the main technologies for IA, with or without brain-computer interfaces. Given this picture, we discuss potential ethical problems, namely inadequate performance, safety, coercion and manipulation, privacy, cognitive liberty, authenticity, and fairness in more detail. (...) We conclude that while there are very significant technical hurdles to real human enhancement through AI, and significant ethical problems, there are also significant benefits that may realistically be achieved in ways that are consonant with a rights-based ethics as well. We also highlight the specific concerns that apply particularly to applications of AI for "sheer" IA (more realistic in the near term), and to enhancement applications, respectively. (shrink)

What proper role should considerations of risk, particularly to research subjects, play when it comes to conducting research on human enhancement in the military context? We introduce the currently visible military enhancement techniques (1) and the standard discussion of risk for these (2), in particular what we refer to as the ‘Assumption’, which states that the demands for risk-avoidance are higher for enhancement than for therapy. We challenge the Assumption through the introduction of three categories of enhancements (3): therapeutic, preventive, (...) and pure enhancements. This demands a revision of the Assumption (4), alongside which we propose some further general principles bearing on how to balance risks and benefits in the context of military enhancement research. We identify a particular type of therapeutic enhancements as providing a more responsible path to human trials of the relevant interventions than pure enhancement applications. Finally, we discuss some possible objections to our line of thought (5). While acknowledging their potential insights, we ultimately find them to be unpersuasive, at least provided that our proposal is understood as fully non-coercive towards the candidates for such therapeutic enhancement trials. (shrink)

My goal in this paper is to show that naturalists cannot reasonably endorse moral realism. My argument will come in two parts. The first part aims to show that any plausible and naturalistically acceptable argument in favor of belief in objective moral properties will appeal in part to simplicity considerations (broadly construed)—and this regardless of whether moral properties are reducible to non-moral properties. The second part argues for the conclusion that appeals to simplicity justify belief in moral properties only if (...) either those properties are not objective or something like theism is true. Thus, if my argument is sound, naturalists can reasonably accept moral realism only if they are prepared to accept something like theism. But, as will become clear, naturalists can reasonably accept theism or something like it only if belief in some such doctrine is justified by the methods of science. For present purposes, I’ll assume (what I think virtually every naturalist will grant) that belief in theism and relevantly similar doctrines is not justified by the methods of science. Thus, I will conclude that naturalists cannot reasonably accept moral realism. (shrink)

ABSTRACT This essay focuses on two underlying presumptions that impinge on the effort of UNESCO to engender universal agreement on a set of bioethical norms: the conception of universality that pervades much of the document, and its disregard of structural inequalities that significantly impact health. Drawing on other UN system documents and recent feminist bioethics scholarship, we argue that the formulation of universal principles should not rely solely on shared ethical values, as the draft document affirms, but also on differences (...) in ethical values that obtain across cultures. UNESCO's earlier work on gender mainstreaming illustrates the necessity of thinking from multiple perspectives in generating universal norms. The declaration asserts the ‘fundamental equality of all human beings in dignity and rights’1 and insists that ‘the highest attainable standard of health is one of the fundamental rights of every human being without distinction of race, religion, political belief, economic or social condition’2 yet it does not explicitly recognize disparities of power and wealth that deny equal dignity and rights to many. Without attention to structural (as opposed to merely accidental) inequities, UNESCO's invocation of rights is so abstract as to be incompatible with its avowed intention. (shrink)

Floridi and Taddeo propose a condition of “zero semantic commitment” for solutions to the grounding problem, and a solution to it. I argue briefly that their condition cannot be fulfilled, not even by their own solution. After a look at Luc Steels' very different competing suggestion, I suggest that we need to re-think what the problem is and what role the ‘goals’ in a system play in formulating the problem. On the basis of a proper understanding of computing, I come (...) to the conclusion that the only sensible ground-ing problem is how we can explain and re-produce the behavioral ability and function of meaning in artificial computational agents. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

We study the conservation of energy, or lack thereof, when measurements are performed in quantum mechanics. The expectation value of the Hamiltonian of a system changes when wave functions collapse in accordance with the standard textbook treatment of quantum measurement, but one might imagine that the change in energy is compensated by the measuring apparatus or environment. We show that this is not true; the change in the energy of a state after measurement can be arbitrarily large, independent of the (...) physical measurement process. In Everettian quantum theory, while the expectation value of the Hamiltonian is conserved for the wave function of the universe, it is not constant within individual worlds. It should therefore be possible to experimentally measure violations of conservation of energy, and we suggest an experimental protocol for doing so. (shrink)

This article examines a fundamental question of justice in global health. Is it ethically preferable to provide a larger number of people with cheaper treatments that are less effective (or more toxic), or to restrict treatments to a smaller group to provide a more expensive but more effective or less toxic alternative? We argue that choosing to provide less effective or more toxic interventions to a larger number of people is favored by the principles of utility, equality, and priority for (...) those worst-off. Advocates are mistaken to demand that medical care provided in low-income and middle-income countries should be the same as in high-income countries. (shrink)

The question raised by this volume is “How successful is naturalism?” The question presupposes that we already know what naturalism is and what counts as success. But, as anyone familiar with the literature on naturalism knows, both suppositions are suspect. To answer the question, then, we must first say what we mean in this context by both ‘naturalism’ and ‘success’. I’ll start with ‘success’. I will then argue that, by the standard of measurement that I shall identify here, naturalism is (...) an utter failure. (shrink)

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...) three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization). (shrink)

REMARKS ON EVOLUTION AND TIME-SCALES, Graham Cairns-Smith; HODGSON'S BLACK BOX, Thomas Clark; DO HODGSON'S PROPOSITIONS UNIQUELY CHARACTERIZE FREE WILL?, Ravi Gomatam; WHAT SHOULD WE RETAIN FROM A PLAIN PERSON'S CONCEPT OF FREE WILL?, Gilberto Gomes; ISOLATING DISPARATE CHALLENGES TO HODGSON'S ACCOUNT OF FREE WILL, Liberty Jaswal; FREE AGENCY AND LAWS OF NATURE, Robert Kane; SCIENCE VERSUS REALIZATION OF VALUE, NOT DETERMINISM VERSUS CHOICE, Nicholas Maxwell; COMMENTS ON HODGSON, J.J.C. Smart; THE VIEW FROM WITHIN, Sean Spence; COMMENTARY ON HODGSON, Henry Stapp.

Since the 1960s, metaphysics has flourished in Anglo-American philosophy. Far from wanting to avoid metaphysics, philosophers have embraced it in droves. There have been critics, to be sure; but the criticisms have received answers and the enterprise has carried on.

I see four symbol grounding problems: 1) How can a purely computational mind acquire meaningful symbols? 2) How can we get a computational robot to show the right linguistic behavior? These two are misleading. I suggest an 'easy' and a 'hard' problem: 3) How can we explain and re-produce the behavioral ability and function of meaning in artificial computational agents?4) How does physics give rise to meaning?

In this short response to Kerstein and Bognar, we clarify three aspects of the complete lives system, which we propose as a system of allocating scarce medical interventions. We argue that the complete lives system provides meaningful guidance even though it does not provide an algorithm. We also defend the investment modification to the complete lives system, which prioritizes adolescents and older children over younger children; argue that sickest-first allocation remains flawed when scarcity is absolute and ongoing; and argue that (...) Kerstein and Bognar are mistaken to base their allocation principles on differences in personhood. (shrink)

Background: Use of patients’ medical data for secondary purposes such as health research, audit, and service planning is well established in the UK. However, the governance environment, as well as public understanding about this work, have lagged behind. We aimed to systematically review the literature on UK and Irish public views of patient data used in research, critically analysing such views though an established biomedical ethics framework, to draw out potential strategies for future good practice guidance and inform ethical and (...) privacy debates. Methods: We searched three databases using terms such as patient, public, opinion, and electronic health records. Empirical studies were eligible for inclusion if they surveyed healthcare users, patients or the public in UK and Ireland and examined attitudes, opinions or beliefs about the use of patient data for medical research. Results were synthesised into broad themes using a framework analysis. Results: Out of 13,492 papers and reports screened, 20 papers or reports were eligible. While there was a widespread willingness to share patient data for research for the common good, this very rarely led to unqualified support. The public expressed two generalised concerns about the potential risks to their privacy. The first of these concerns related to a party’s competence in keeping data secure, while the second was associated with the motivation a party might have to use the data. Conclusions: The public evaluates trustworthiness of research organisations by assessing their competence in data-handling and motivation for accessing the data. Public attitudes around data-sharing exemplified several principles which are also widely accepted in biomedical ethics. This provides a framework for understanding public attitudes, which should be considered in the development in any guidance for regulators and data custodians. We propose four salient questions which decision makers should address when evaluating proposals for the secondary use of data. (shrink)

The paper examines the loss of African identity within the modern/ contemporary era. African identity has been a recurrent theme in all domains of African studies, serving as a major intellectual concern of many African scholars. Debates on the reality of African Philosophy are anchored on the questions surrounding African identity giving rise to thoughts and contents of that philosophy. Despite the volumes already generated on the theme, the controversial circumstances that engendered the subject of African identity makes its intellectual (...) concern sustainable and almost inexhaustible. The question of African identity is basically an ontological question of the reality of Africa cum the being of an African. The series of infiltration and appraisals of Africa by foreign elements tend to plunge the continent into crises of identity. In addition to the various approaches to the subject, the nature-culture perspective presents the argument that if culture is ideally the product of a people’s nature, African culture represents the objective manifestation of the Africanity of the continent and its organic/holistic content. Such frame of thought embellished with philosophic tools provides further locus for a more feasible and stable definition of African identity as the holistic nature and character of being African. (shrink)

The thesis that rationality consists in the straight-forward maximization of utility has not lacked critics. Typically, however, detractors reject the Humean picture of rationality upon which it seems based; they seek to emancipate reason from the tyranny of the passions. It is, then, noteworthy when an attack on this thesis comes from ‘within the ranks.’David Gauthier's paper ‘Reason and Maximization’ is just such an attack; and for this reason, among others, it is interesting. It is not successful, though. In defense (...) of this conclusion, we shall begin by relating the essentials of Gauthier's argument. Then we shall examine in some detail Gauthier's claim that the principle of straighforward max-imization fails to be self-supporting. We shall argue that Gauthier's defense of this claim is at best incomplete. Finally, we shall show that the fact that a normative principle is self-subverting or non-self-supporting does not entail that the principle is defective. (shrink)

For any given society, its particular technology of communication has far-reaching consequences, not merely as regards social organization, but on the epistemic level as well. Plato's name-theory of meaning represents the transition from the age of primary orality to that of literacy; Wittgenstein's use-theory of meaning stands for the transition from the age of literacy to that of a second orality (audiovisual communication, electronic information processing). On the basis of a use-theory of meaning the problem of machine consciousness, to which (...) the later Wittgenstein again and again returned, is capable of a non-essentialist solution: appropriate changes in our form of life might well entail a radically different psychological language-game. (shrink)

In this commentary, I suggest expanding the deliberative aspects of critical care policy development in two ways. First, critical-care policy development should expand the scope of deliberation by leaving fewer issues up to expertise or private choice. For instance. it should allow deliberation about the relevance of age, disability, social position, and psychological well-being to allocation decisions. Second, it should broaden both the set of costs considered and the set of stakeholders represented in the deliberative process. In particular, it should (...) consider efforts to reduce the cost of end-of-life care and to redirect resources away from the provision of costly interventions, and should expand the set of individuals included in deliberation to include stakeholders outside the health-care system. (shrink)

The link between human nature and human flourishing is undeniable. "A healthy tree cannot bear bad fruit, nor can a diseased tree bear good fruit" (Matt. 7:18). The ontology of the human person will, therefore, ground the nature of human flourishing and thereby sanctification. Spiritual formation is the area of Christian theology that studies sanctification, the Spirit-guided process whereby disciples of Jesus are formed into the image of Jesus (Rom. 8:28-29; 2 Cor. 3:18; 2 Peter 3:18). Until the nineteenth century, (...) there was an overwhelming consensus among Christian thinkers that some form of mind-body (or soul-body) dualism is true of human beings. Recently, that consensus has eroded, and with it the availability of a shared body of knowledge about spiritual formation. Some Christian physicalists argue that dualism is incompatible with central elements of spiritual formation. Neuroscientist Warren Brown and psychologist Brad Strawn offer the only substantive account of spiritual formation from the view of Christian physicalism and its accompanying objections to dualism. It is on their arguments that this chapter focuses. We argue that Brown and Strawn fail to support their incompatibility thesis. Additionally, we argue that Christian physicalism stands in tension with important philosophical and theological foundations of Christian spiritual formation. In doing so we offer a specific form of dualism, the bodily soul view, and explain how this view illuminates the importance of embodiment, our neurological and social development, and hence the important physical aspects of Christian spiritual formation. (shrink)

The paper will have three sections. In section one I briefly present and respond to Byrne’s argument against theological realism. In section two, I present van Fraassen’s argument against analytic metaphysics and I show how, if sound, it constitutes a reason to reject both metaphysical and theological realism. In section three, I show how van Fraassen can be answered. Obviously what I am doing here falls far short of a full-blown defense of realism in either metaphysics or theology. But the (...) objections raised by van Fraassen and Byrne are tokens of a type of objection that I think is rather widely endorsed among those who are suspicious of these two brands of realism. Thus, responding to those objections constitutes an important first step in the direction of a defense. (shrink)

"Data mining is not an invasion of privacy because access to data is only by machines, not by people": this is the argument that is investigated here. The current importance of this problem is developed in a case study of data mining in the USA for counterterrorism and other surveillance purposes. After a clarification of the relevant nature of privacy, it is argued that access by machines cannot warrant the access to further information, since the analysis will have to be (...) made either by humans or by machines that understand. It concludes that the current data mining violates the right to privacy and should be subject to the standard legal constraints for access to private information by people. (shrink)

This paper investigates a problem about freedom of information. Although freedom of information is generally considered desirable, there are a number of areas where there is substantial agreement that freedom of information should be limited. After a certain ordering of the landscape, I argue that we need to add the category of "dangerous" information and that this category has gained a new quality in the context of current information technology, specifically the Internet. This category includes information the use of which (...) would be morally wrong as well as some of what may be called "corrupting" information. Some such information should not be spread at all and some should be very limited in its spread. (shrink)

In this paper we compare Kierkegaard’s and Marx’s views on social reform. Then we argue that Kierkegaard’s own reasoning is consistent with the expression of neighbor-love through collective action, i.e. social reform. However, Kierkegaard’s approach to social reform would be vastly different than Marx’s. We end by reviewing several questions that Kierkegaardian social reformers would ask themselves. Our hope is that this exploration will provide helpful insights into how those who genuinely love their neighbors ought to seek the common good (...) through collective action. (shrink)

In this chapter, we outline the interdisciplinary contributions that philosophy, psychology, and neuroscience have provided in the understanding of the self and identity, focusing on one specific line of burgeoning research: the importance of morality to perceptions of self and identity. Of course, this rather limited focus will exclude much of what psychologists and neuroscientists take to be important to the study of self and identity (that plethora of self-hyphenated terms seen in psychology and neuroscience: self-regulation, self-esteem, self-knowledge, self-concept, self-perception, (...) and more). We will likewise not engage with many canonical philosophical treatments of self and identity. But we will lay out a body of research that brings together classic themes in philosophy, psychology, and neuroscience to raise empirically tractable philosophical questions, and philosophically rigorous empirical questions about self and identity. More specifically, in section 4.2, we will review some recent research that has treated traditional philosophical questions about self and identity as empirical questions. Within this body of work, we will be primarily concerned with the finding that morality (more so than memory) is perceived to be at the core of self and identity. Then, in section 4.3, we raise and respond to a variety of questions and criticisms: first, about the operationalization of identity concepts in the empirical literature; second, about the generalizability of the moral self effect; third, about the direction of change; fourth, about connections with recent work in neuroscience; and fifth, about the target of evaluation. Finally, in section 4.4, we consider a variety of implications and applications of this work on the moral self. Throughout, we aim to highlight connections between classical themes in philosophy, psychology, and neuroscience, while also suggesting new directions for interdisciplinary collaboration. (shrink)

I claim that a relatively new position in philosophy of mathematics, pluralism, overlaps in striking ways with the much older Jain doctrine of anekantavada and the associated doctrines of nyayavada and syadvada. I first outline the pluralist position, following this with a sketch of the Jain doctrine of anekantavada. I then note the srrong points of overlaps and the morals of this comparison of pluralism and anekantavada.

This paper’s outline is as follows. In sections 1-3 I give an exposi¬tion of the Mind-Body Problem, with emphasis on what I believe to be the heart of the problem, namely, the Percepts-Qualia Nonidentity and its incompatibility with the Physical Closure Paradigm. In 4 I present the “Qualia Inaction Postulate” underlying all non-interactionist theo¬ries that seek to resolve the above problem. Against this convenient postulate I propose in section 5 the “Bafflement Ar¬gument,” which is this paper's main thesis. Sections 6-11 (...) critically dis¬cuss attempts to dismiss the Bafflement Argument by the “Baf¬flement=Mis¬perception Equation.” Section 12 offers a refutation of all such attempts in the form of a concise “Asymmetry Proof.” Section 13 points out the bearing of the Bafflement Argument on the evolutionary role of consciousness while section 14 acknowledges the price that has to be paid for it in terms of basic physical principles. Section 15 summarizes the paper, pointing out the inescapability of interactionist dualism. (shrink)

We discuss the one–many problem as it appears in the Philebus and find that it is not restricted to the usually understood problem about the identity of universals across particulars that instantiate them (the Hylomorphic Dispersal Problem). In fact some of the most interesting aspects of the problem occur purely with respect to the relationship between Forms. We argue that contemporary metaphysicians may draw from the Philebus at least three different one–many relationships between universals themselves: instantiation, subkind and part, and (...) thereby construct three new ‘problems of the one and the many’ (an Eidetic Dispersal Problem, a Genus–Species Problem, and an Eidetic Combination Problem), which are as problematic as the version generally discussed. We then argue that this taxonomy sheds new and interesting light on certain discussions of higher-order universals in recent Australian analytic philosophy. (shrink)